A UML Profile for Real-Time Constraints with the OCL
نویسندگان
چکیده
This article presents a UML profile for an OCL extension that enables modelers to specify behavioral, state-oriented real-time constraints in OCL. In order to perform a seamless integration into the upcoming UML2.0 standard, we take the latest OCL2.0 metamodel proposal by Warmer et al. [22] as a basis. A formal semantics of our temporal OCL extension is given by a mapping to timeannotated temporal logics formulae. To give an example of the applicability of our extension, we consider a modeling approach for manufacturing systems called MFERT. We present a corresponding UML profile for that approach and combine both profiles for formal verification by real-time model checking.
منابع مشابه
Real-Time Constraints with the OCL
In recent years, the Unified Modeling Language (UML) has received increasing attention from designers of realtime systems. Several approaches apply and enrich the UML notation for modeling of real-time applications. In addition to that, UML modelers can make use of the Object Constraint Language (OCL) to restrict their models by additional constraints. Currently, OCL and real-time extensions of...
متن کاملSpecification of Real-Time Properties for UML Models
The Unified Modeling Language (UML) has received wide acceptance as a standard language in the field of software specification by means of different diagram types. In a recent version of UML, the textual Object Constraint Language (OCL) was introduced to support specification of constraints for UML models. But OCL currently does not provide sufficient means to specify constraints over the dynam...
متن کاملTemporal OCL Extensions for Specification of Real-Time Constraints
The Unified Modeling Language (UML) receives increasing attention by designers of real-time systems. Several approaches already extend the UML notation for modeling real-time applications. In this context, it is essential to be able to specify time-bounded temporal constraints as a prerequisite to validate a model for correct system behavior. But currently, UML and corresponding extensions only...
متن کاملAn OCL Extension for Real-Time Constraints
The Object Constraint Language (OCL) was introduced to support the specification of constraints for UML diagrams and is mainly used to formulate invariants and operation preand postconditions. Though OCL is also applied in behavioral diagrams, e.g., as guards for state transitions, it is currently not possible to specify constraints concerning the dynamic behavior and timing properties of such ...
متن کاملA Model Driven Approach for the Atomated Analysis of UML Class Diagrams
The Unified Modeling Language (UML) is widely considered as the defacto standard for the design of Object Oriented systems. UML class diagrams are used to depict the static structure of a system with its entities and the relationships between them. The Object Constraint Language (OCL) is a textual language based on first-order logic and can be used to define constraints on the elements of class...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002